A Runs-and-Systems Semantics for Logics of Announcements
نویسندگان
چکیده
Logics of announcements are logics of knowledge to reason about agents that communicate by broadcasting interpreted messages. These logics are typically given a semantics in terms of updatable Kripke structures, which tend to be abstract. We revisit the semantics of logics of announcements and develop a concrete semantics using runs and systems. The advantage is that we can devise models that capture scenarios without having to express properties of those scenarios within the logic itself. In this concrete setting, we study honesty as well as belief in the presence of announcements that are not broadcast to all agents in a system.
منابع مشابه
Towards a Concrete Semantics for Announcements
The story of this paper is inspired by the existence of two schools of thought in modeling and reasoning about information flow in interactive multi-agent systems where agents aquire new information after communicating with each other. One of these schools is the interpreted systems of, e.g. [6, 8] and the other is the dynamic epistemic logic (DEL) approach of, e.g. [1, 2, 3, 5, 7]. The former ...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملProviders and Patients Caught Between Standardization and Individualization: Individualized Standardization as a Solution; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
In their 2017 article, Mannion and Exworthy provide a thoughtful and theory-based analysis of two parallel trends in modern healthcare systems and their competing and conflicting logics: standardization and customization. This commentary further discusses the challenge of treatment decision-making in times of evidence-based medicine (EBM), shared decision-making and personalized medicine. From ...
متن کامل(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare
Recent years have witnessed a parallel and seemingly contradictory trend towards both the standardization and the customization of healthcare and medical treatment. Here, we explore what is meant by ‘standardization’ and ‘customization’ in healthcare settings and explore the implications of these changes for healthcare delivery. We frame the paradox of these divergent and opposing factors in te...
متن کاملFrom Hypersets to Kripke Models in Logics of Announcements
This note discusses two semantics for a logic of group announcements and verifies that the two have the appropriate relation. The first semantics is the hyperset semantics of Gerbrandy [4, 5] and Gerbrandy and Groeneveld [6]. The second is the Kripke model semantics of Baltag, Moss and Solecki [2]. The relation between the two semantics was noted without proof in [2]. A proof does appear in Ger...
متن کامل